Model elimination

#	Item
81	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:57:10 Automated theorem proving Year of birth missing Logic in computer science Logic programming Prolog Planner Keith Clark Model elimination Logic Software engineering Computing Computer programming
82	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2006-01-20 17:21:14 Model theory Real algebraic geometry Guggenheim Fellows Proof theory Metalogic Alfred Tarski Presburger arithmetic Existential theory of the reals Quantifier elimination Logic Mathematical logic Mathematics